I noticed this because XEN_DOMCTL_getvcpucontext won't return anything for a
VCPU which isn't initialised.
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
v->arch.ttbr1 = ctxt->ttbr1;
v->arch.ttbcr = ctxt->ttbcr;
+ v->is_initialised = 1;
+
if ( ctxt->flags & VGCF_online )
clear_bit(_VPF_down, &v->pause_flags);
else
discard_initial_modules();
+ v->is_initialised = 1;
clear_bit(_VPF_down, &v->pause_flags);
memset(regs, 0, sizeof(*regs));